Welcome to the Kids' Library!

Accurate finite difference algorithms

Goodrich, John W., 1945- author.
Cleveland, Ohio : National Aeronautics and Space Administration, Lewis Research Center, December 1996. 1996-

Adapting a Navier-Stokes code to the ICL-DAP

Grosch, C. E.
Hampton, Va : National Aeronuatics and Space Administration, Langley Research Center : Institute for Computer Applications in Science and Engineering, [1985] 1985

Adapting end host congestion control for mobility

Eddy, Wesley M.
Cleveland, Ohio : National Aeronautics and Space Administration, Glenn Research Center, [2005] 2005

Adaptive grid embedding for the two-dimensional flux-split Euler equations

Warren, Gary Patrick.
Mississippi State, Miss. : Mississippi State University, Dept. of Aerospace Engineering, [1990] 1990

Advances in domain adaptation theory

Redko, Ievgen, author.
London, UK : ISTE Press Ltd ; Kidlington, oxford, UK : Elsevier Ltd, 2019. 2019

Airborne precision spacing for dependent parallel operations interface study

Volk, Paul M, author.
Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, 2012. 2012

Airport traffic conflict detection and resolution algorithm evaluation

Jones, Denise R., author.
Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, August 2016. 2016-

Algorithm-development activities quarterly report for July - December, 1993; semi-annual report, Jan

Carder, Kendall L.
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994] 1994

Algorithm for fixed-range optimal trajectories

Lee, Homer Q., author.
Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Branch, July 1980. 1980-

Algorithmic diagnosis of symptoms and signs : a cost-effective approach

Collins, R. Douglas, author.
Philadelphia : Wolters Kluwer Heath, [2017] 2017

Algorithmic Regimes: Methods, Interactions, and Politics.

Amsterdam University Press 2024. 2024

Algorithms for obstetrics and gynaecology

Oxford : Oxford University Press, 2014. 2014

Alocações, estabilidade e otimização : uma introdução passo a passo

[Place of publication not identified], SCIELO - EDITORA UFABC, 2017. 2017

Analysis and design of algorithm-based fault-tolerant systems

Nair, V. S. Sukumaran.
Urbana, Ill. : University of Illinois at Urbana-Champaign ; [Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Springfield, Va. : National Technical Information Service, distributor, 1990] 1990

The analysis of polar clouds from AVHRR satellite data using pattern recognition techniques final re

Smith, William L.
Madison, Wis. : Space Science and Engineering Center, University of Wisconsin-Madison, [1990] 1990

Analytical guidance law development for aerocapture at Mars progress report #4

Atlanta, Ga. : School of Aerospace Engineering, Georgia Institute of Technology ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1992] 1992

Analytical investigation of the dynamics of tethered constellations in Earth orbit (phase II) quarte

Lorenzini, Enrico.
Cambridge, Mass. : Smithsonian Institution Astrophysical Observatory ; Huntsville, Ala. : National Aeronautics and Space Administration, Marshall Space Flight Center, [1985] 1985

Approximations of thermoelastic and viscoelastic control systems

Burns, J. A.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1990] 1990

Artificial intelligence and the Internet of Things : UK policy opportunities and challenges

Bunz, Mercedes.
University of Westminster Press, 2018. 2018

Automated verification of specifications with typestates and access permissions

Siminiceanu, Radu I.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011] 2011

Automating the news : how algorithms are rewriting the media

Diakopoulos, Nicholas, author.
Cambridge, Massachusetts : Harvard University Press, 2019. 2019

Beyond the worst-case analysis of algorithms

Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2021. 2021

Big practical guide to computer simulations

Hartmann, Alexander K., author.
Singapore ; New Jersey : World Scientific Publishing Co. Pte. Ltd., [2015] 2015

Bio-inspired algorithms for engineering

Alanis, Alma Y., author.
Oxford, United Kingdom : Butterworth-Heinemann, an imprint of Elsevier, [2018] 2018

Bioinformatics algorithms : design and implementation in Python

Rocha, Miguel, author.
London : Academic Press, an imprint of Elsevier, [2018] 2018

Biomedical signal analysis : contemporary methods and applications

Theis, Fabian J.
Cambridge, Mass. : MIT Press, ©2010. 2010

Cascading a systolic array and a feedforward neural network for navigation and obstacle avoidance us

Plumer, Edward S.
Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center, [1991] 1991

Ciudadanos reemplazados por algoritmos

García Canclini, Néstor, author.
Bielefeld : Bielefeld University Press, [2020] 2020

Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system

Boldo, Sylvie, author.
London : ISTE Press ; Oxford, UK : Elsevier, 2017. 2017

Computer simulation results and analysis for a root-raised cosine filter design using canonical sign

Kim, Heechul, author.
Cleveland, Ohio : National Aeronautics and Space Administration, Lewis Research Center, October 1996. 1996-

Cooperative load scheduling for multiple aggregators using hierarchical ADMM

Zhang, Xiangyu, author.
Golden, CO : National Renewable Energy Laboratory, 2020. 2020

Cooperative load scheduling for multiple aggregators using hierarchical admm : preprint

Zhang, Xiangyu, author.
Golden, CO : National Renewable Energy Laboratory, 2020. 2020

Cryptographic Boolean functions and applications

Cusick, Thomas W., 1943- author.
London : Academic Press, [2017] 2017

Cryptographic Boolean functions and applications

Cusick, Thomas W., 1943-
Amsterdam ; Boston : Academic Press/Elsevier, 2009. 2009

Description of algorithms for processing coastal zone color scanner (CZCS) data

Zion, Philip Michael.
Pasadena, Calif. : National Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Technology, [1983] 1983

Determine preciptation rates from visible and infrared satellite images of clouds by pattern recogni

Weinman, James A.
[Washington, D.C.] : National Aeronautics and Space Administration, [1987] 1987

Development and test results of a flight management algorithm for fuel-conservation descents in a ti

Knox, Charles E., author.
Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Branch, October 1980. 1980-

Digital geometry : geometric methods for digital picture analysis

Klette, Reinhard.
Amsterdam ; Boston : Elsevier, ©2004. 2004

Digital platforms and algorithmic subjectivities

[S.l.] : UNIVERSITY OF WESTMINSTER, 2022 2022

Effects of additional interfering signals on adaptive array performance

Moses, Randolph L.
Columbus, Ohio : Ohio State University, ElectroScience Laboratory ; Cleveland, Ohio : National Aeronautics and Space Administration, Lewis Research Center, [1989] 1989

Engines of order : a mechanology of algorithmic techniques

Rieder, Bernhard.
Amsterdam : Amsterdam University Press, 2020. 2020

Error control techniques for satellite and space communications annual status report

Costello, Daniel J., 1942-
Notre Dame, Ind. : Dept. of Electrical and Computer Engineering, University of Notre Dame, [1986] 1986

Estimating energy market schedules using historical price data : preprint

Cortes, Nicole, author.
Golden, CO : National Renewable Energy Laboratory, 2022. 2022

The Evaluation of failure detection and isloation algorithms for restructurable control

Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1985] 1985

The evaluation of the OSGLR algorithm for restructurable control

Cambridge, Mass. : The Charles Stark Draper Laboratory, Inc. ; Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1986] 1986

Experiences with serial and parallel algorithms for channel routing using simulated annealing

Brouwer, Randall Jay.
Hampton, Va. : NASA Langley Research Center, [1988] 1988

Fast secant methods for the interative solution of large nonsymmetric linear systems

Deuflhard, P. (Peter)
[Moffett Field, Calif.] : Research Institute for Advanced Computer Science, NASA Ames Research Center, [1990] 1990

A feedback-based regularized primal-dual gradient method for time-varying nonconvex optimization : p

Tang, Yujie, author.
Golden, CO : National Renewable Energy Laboratory, March 2019. 2019-

Field validated utility-scale battery storage control models for quasi-static analyses

Latif, Aadil, author.
Golden, Colorado : National Renewable Energy Laboratory, 2019. 2019

Foundations of genetic algorithms 6

San Francisco, Calif. : Morgan Kaufmann, ©2001. 2001